- (Tech) luận lý cơ năng
- functional logic programming: lập trình logic hàm
- functional logic programming languages: ngôn ngữ lập trình logic hàm
- alf (algebraic logic functional language): Từ điển kỹ thuậtLĩnh vực: toán & tinngôn ngữ chức năng lôgic đại số